Tagged Unions
TypeScriptってどんな言語？ 言語そのものを知る面白さ
で知った
（TypeScriptの例が見つかった
https://atmarkit.itmedia.co.jp/ait/articles/1611/08/news029_2.html
）
Pydantic
https://docs.pydantic.dev/2.6/concepts/unions/#discriminated-unions
旧
https://docs.pydantic.dev/2.0/usage/types/unions/#discriminated-unions-aka-tagged-unions
For your Union, you can set the discriminator in its value: Field(discriminator='my_discriminator')
Cat・Dog・Lizardそれぞれpet_type属性を持つ。そこを見て判断する、ということらしい
PHPのRFC
https://wiki.php.net/rfc/tagged_unions
（ちょうぜつ本のコラムより）
関数型プログラミングと型システムのメンタルモデル
タグ付きユニオンの話 + パターンマッチで分解